proof imagination